Computation of State Avoidance Control for In nite State

نویسنده

  • Vijay K. Garg
چکیده

In this paper we study supervisory control of discrete event systems using state variables for representation and speciication. The motivation is two fold: rstly, a state variable representation allows a concise characterization of systems with innnitely many states, and secondly, state variable speciication allows characterization of qualitative properties of general nondeterministic systems. An assignment program consisting of state variables and a nite set of conditional assignment statements is used for representing a discrete event system, and a set of forbidden states is used for representing a control spec-iication. Although the state avoidance control of innnite state systems has been studied in literature, there is little work on computation of supervisors for general innnite state systems (except for certain classes of Petri nets). The contribution of this paper is to show that the supervisory control problem in such settings reduces to that of solving arithmetic equations. In the special case when the system can be represented as a vector addition system or equivalently, a Petri net, and the set of forbidden states is a right-closed set we provide techniques for maximally permissive supervision.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computation of State Avoidance Control for Innnite State Systems in Assignment Program Framework|the Expanded Version 1; 2

In this paper we study supervisory control of discrete event systems using state variables for representation and speci cation. The motivation is two fold: rstly, a state variable representation allows a concise characterization of systems with in nitely many states, and secondly, state variable speci cation allows characterization of qualitative properties of general nondeterministic systems. ...

متن کامل

AN APPLICATION OF TRAJECTORIES AMBIGUITY IN TWO-STATE MARKOV CHAIN

In this paper, the ambiguity of nite state irreducible Markov chain trajectories is reminded and is obtained for two state Markov chain. I give an applicable example of this concept in President election

متن کامل

A Computational Method for Solving Optimal Control Problems and Their Applications

In order to obtain a solution to an optimal control problem‎, ‎a numerical technique based on state-control parameterization method is presented‎. ‎This method can be facilitated by the computation of performance index and state equation via approximating the control and state variable as a function of time‎. ‎Several numerical examples are presented to confirm the analytical findings and illus...

متن کامل

Morphine sensitization and state-dependent learning in mice

In the present study, the effects of morphine sensitization on morphine-induced impairment of memory formation and the state-dependent retrieval of a passive avoidance task learned under morphine influence have been investigated in mice. Pre-training administration of morphine (0.5, 2.5 and 5 mg/kg) dose dependently suppressed the learning of one-trial passive avoidance task. Pre-test administr...

متن کامل

Morphine sensitization and state-dependent learning in mice

In the present study, the effects of morphine sensitization on morphine-induced impairment of memory formation and the state-dependent retrieval of a passive avoidance task learned under morphine influence have been investigated in mice. Pre-training administration of morphine (0.5, 2.5 and 5 mg/kg) dose dependently suppressed the learning of one-trial passive avoidance task. Pre-test administr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995